higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
A formal neighbourhood is a neighbourhood in formal geometry, hence an “infinitesimal neighbourhood”. Also called a formal completion or formal disk, see there for more.
The formal spectrum of the completion of a commutative ring in the -adic topology for a maximal ideal is the formal neighbourhood of the point corresponding to that ideal in the spectrum of a commutative ring.
perturbative quantum field theory (in particular realized as formal deformation quantization) describes the infinitesimal neighbourhood of classical free field theory in the space of all quantum field theories.
Examples of sequences of local structures
Last revised on September 12, 2017 at 10:01:43. See the history of this page for a list of all contributions to it.